Nuprl Lemma : int_pi_det_fun_wf
13,42
postcript
pdf
i
:
. (
i
)
-det-fun
detach_fun(|
-rng|;(
i
)
-rng)
latex
Up
rings
1
Definitions of Statement
(
i
)
-det-fun
origin
i:
. (i)-det-fun 
detach_fun(|-rng|;(i)-rng) i:. (i)-det-fun detach_fun(|-rng|;(i)-rng) -det-fun